For relativistic particles with spin 1/2, which are described by the Dirac equation, a semiclassical trace formula is introduced that incorporates expectation values of observables in eigenstates of the Dirac-Hamiltonian. Furthermore, the semiclassical limit of an average of expectation values is expressed in terms of a classical average of the corresponding classical observable.