The PRODIGY system is based on bidirectional planning, which is a combination of goal-directed backward chaining with simulation of plan execution. Experiments have demonstrated that it is an efficient technique, a fair match to other successful planning systems. The question of completeness ofbidirectionalplanning, however,hasremainedunanswered. We show that PRODIGY is not complete and discuss the advantagesand drawbacksof its incompleteness. We then develop a complete bidirectional planner and compare it experimentally with PRODIGY. We demonstrate that the complete planner is almost as efficient as PRODIGY and solves a wider range of problems.