In algebraic geometry, the smooth completion (or smooth compactification) of a smooth affine algebraic curve X is a complete smooth algebraic curve which contains X as an open subset.[1] Smooth completions exist and are unique over a perfect field.