Completion procedures as semidecision procedures