Planning and Execution using Inaccurate Models with Provable Guarantees on Task Completeness