Towards a foundation of completion procedures as semidecision procedures