語義完備性

語義完備性（semantic completeness）是2018年公佈的計算機科學技術名詞。