证明完毕／证讫／证毕，又写作Q.E.D.或QED。这是拉丁片语「」（这就是所要证明的）的缩写，译自希腊语「」，并经常被戏称为「」（十分容易就完成了）。很多早期数学家用过，包括欧几里得和阿基米德。「Q.E.D.」可以在证明的尾段写出，以显示证明所需的结论已经完整了。现在的证明完毕符号，通常是（实心黑色正方形），称之为「墓碑」或「哈尔莫斯（Halmos symbol）」（因保罗·哈尔莫斯最先採用此做法）。墓碑有时是空心的。另一个简单方法是写「proven」、「shown」或「证毕」之类的文字，或写上两个斜划