El camtasia tiene el Camtasia Recorder (con el que grabas) y el Camtasia Studio 3 (con el que editas).
Hay dos maneras de exportar, desde que realizas la grabación, al finalizar te pregunta si deseas abrir el Studio para editar, seguir los pasos necesarios y exportar, o directamente abrir el Camtasia Studio, Import media, importar el video, siguiente... te pide el formato al que desees exportar, ajustes varios y finalmente la renderización.
Y... Bienvenido al Foro