S-完備化