proved that a completion is complete