You can file a total loss of value or control of coins by going to Dashboard > Import More Transactions > Manual Entry > Outgoing, "Loss" from Dropdown.
For tax purposes, make sure you keep good records of the loss of your coins.
Here is a video showing how to mark as Stolen/Lost: