To export your finished diagram to a PDF, go to the Home tab, click on Export and choose PDF.
You'll see an animation of the conversion process. Once it's complete, you'll see a dialog confirming it and your file will download automatically.
You file will appear in the downloads folder set for your browser.