Q.E.D.是拉丁片语「quod erat demonstrandum」（这被证明了）的缩写。这是希腊语「ὅπερ ἔδει δεῖξαι」（hoper edei deixai）的翻译，很多早期数学家用过，包括欧几里德和阿基米德。「Q.E.D.」可以在证明的尾段写出，以显示证明所需的结论已经完整了。

证明完毕符号，通常是■ （实心黑色正方形），称之为「墓碑」或「哈尔莫斯」（因保罗·哈尔莫斯最先采用此做法）。墓碑有时是空心的□ 。

另一个简单方法是写「proven」、「shown」或「证毕」之类的文字，或写上两个斜划（//），或三角形内画三点。