Test for semantic completeness of a block