In mathematics, a complete manifold (or geodesically complete manifold) is a (pseudo-) Riemannian manifold for which every maximal (inextendible) geodesic is defined on .
All compact Riemannian manifolds and all homogeneous manifolds are geodesically complete.
Euclidean space , the spheres and the tori (with their natural Riemannian metrics) are all complete manifolds.