Q.E.D.是拉丁片語「quod erat demonstrandum」（這被證明了）的縮寫。這是希臘語「ὅπερ ἔδει δεῖξαι」（hoper edei deixai）的翻譯，很多早期數學家用過，包括歐幾里德和阿基米德。「Q.E.D.」可以在證明的尾段寫出，以顯示證明所需的結論已經完整了。
現在的證明完畢符號，通常是■ （實心黑色正方形），稱之為「墓碑」或「
哈爾莫斯」（因
保羅·哈爾莫斯最先採用此做法）。墓碑有時是空心的□。
另一個簡單方法是寫「proven」、「shown」或「證畢」之類的文字，或寫上兩個斜划（//），或三角形
內畫三點。
