We present short direct proofs of two known properties of complete flat manifolds. They say that the diffeomorphism classes of m-dimensional complete flat manifolds form a finite set $S_{CF}\left(m\right)$ and that each element of $S_{CF}\left(m\right)$ is represented by a manifold with finite holonomy group.