Localization, completion and infinite complexes