topological completion