Proof Check: The class L is closed under concatenation
The idea is correct, but the proof is not finished. It lacks an implementation on the Turing Machine, and sometimes that can be quite tricky. Given a "slice" how are the halves "marked" as belonging to the first and second part, so we can run the two subroutines for $L_1$ and $L_2$? How are the consecutive slices generated?