Add definition of completion of algebraic space along closed