Finish semantic checks