Formal definition of an empty stack accepting PDA
When the stack is finished you can go to the specified state which shows the empty stack. In addition, when you reach in a state which you found it's a solution but the stack is not empty, iterate over a "pop" action to empty the stack and finally go the empty stack state. 

Hence, you can explain this PD using the defined notation.