Completeness of Resolution