외국인 백신 접종완료서 발급방법

유럽에서 온 외국인 친구가 있는데 아직 외국인등록증이 없습니다. 자가격리 이후 해외 백신접종완료서와 여권과 비자만으로도 국내 접종완료서를 발급받을 수 있나요? 외국인등록증이 꼭 필요한지 궁금합니다!