\[ \newcommand{\e}{\mathrm{e}} \newcommand{\i}{\mathrm{i}} \]

A Riemannian manifold is said to be geodesically complete if every maximal geodesic is defined for all \(t\in \mathbb{R}\).

See also Link to heading

• Hopf-Rinow theorem