Geodesic completeness
= Geodesic completeness
{wiki=Geodesic#Complete_geodesics}
A Riemannian manifold is geodesically complete when every maximal geodesic is defined for every real affine parameter, equivalently when every exponential map is defined on its entire tangent space.