On codes having no finite completions