Completeness Criterion from Quantifier Elimination and a Common Substructure