Semantic complete