Completions in realizability door