A search for a long-lived, heavy neutral lepton (N) in 139  fb^{-1} of sqrt[s]=13  TeV pp collision data collected by the ATLAS detector at the Large Hadron Collider is reported. The N is produced via W→Nμ or W→Ne and decays into two charged leptons and a neutrino, forming a displaced vertex. The N mass is used to discriminate between signal and background. No signal is observed, and limits are set on the squared mixing parameters of the N with the left-handed neutrino states for the N mass range 3  GeV